return get_timer()/1000000;
